“Papers of School of Computer Science”
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
81. G. Jaberipur and B. Parhami,
Constant-time addition with hybrid-redundant numbers: Theory and implementations,
Integration, the VLSI Journal 41(2008), 49-64 [abstract]
82. S. Tasharofi and M. Sirjani,
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM,
in: FOCLASA, , 2008, pp. [abstract]
83. C. Talcott, M. Sirjani and S. Ren,
Comparing Three Coordination Models: Reo, ARC, and RRD (Invited paper of FOCLASA`07),
Electronic Notes in Theoretical Computer Science(ENTCS) 194(2008), 39-55 [abstract]
84. R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi and H. Iravanchi,
Modeling and Analysis of Reo Connectors Using Alloy,
in: Coordination, 5052, 2008, pp. 169-183 [abstract]
85. H. Hojjat, M.R. Mousavi and M. Sirjani,
Process algebraic verification of SystemC codes,
in: ACSD, , 2008, pp. 62-67 [abstract]
86. H. Hojjat, M. R. Mousavi and M. Sirjani,
A framework for performance evaluation and functional verification in stochastic process algebras,
in: SAC, , 2008, pp. 339-346 [abstract]
87. A. Asoodeh, A. Shiralinia and M. Ghodsi,
Accessing Maximum Network Flow in Wireless Sensor Networks with Direct Antenna(in Persian),
(to appear) [abstract]
88. F. Saremi, H. Mashayekhi and M. Ghodsi,
Fault Tolerant Broadcast in One Port Meshes of Trees with Distance Insensitive Routing(in Persian),
(to appear) [abstract]
89. S. Daneshpajouh, M. Mohammadi Nasiri and M. Ghodsi,
A Fast Community Based Algorithm for Generating Web Crawler Seeds Set,
(to appear) [abstract]
90. E. Akhgari and M. Ghodsi,
Sorting on OTIS-Networks,
(to appear) [abstract]
back to top
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
